Utilisation des contraintes pour la génération automatique de cas de test structurels

RÉSUMÉ. Une des difficultés majeures pour l’automatisation du processus de test structurel réside dans la production automatique des cas de test, c’est-à-dire la détermination d’un ensemble de valeurs d’entrée pour lesquelles un point choisi du programme sera exécuté. Nous présentons ici une nouvelle méthode où ce problème est transformé en un problème de résolution de contraintes. La traduction du programme initial en un système de contraintes est effectuée en utilisant la forme SSA et les dépendances de contrôle. Des opérateurs spécifiques, implantés avec des contraintes gardées, ont été introduits pour autoriser le traitement de contraintes propres à cette application. INKA, le système prototype qui a été développé, permet de traiter des programmes utilisant un sous-ensemble significatif des constructions du langage C (e.g., avec des tableaux, instructions itératives “while”, certains pointeurs). Les premiers résultats expérimentaux sur des exemples académiques montrent que INKA est concurrentiel avec les méthodes traditionnelles.